Metamodel and UML Profile for Functional Programming Languages
نویسنده
چکیده
Functional programming languages are ideally suited for developing dependable software, but not much work have been done on modeling functional programs. Although UML is mainly based on concepts which are native to imperative object-oriented programming languages, this chapter shows how – through the profile mechanism – it can be used to model software that is to be implemented in a functional programming language. In this chapter Haskell was chosen as one of the most popular modern, pure functional languages. First, a partial metamodel of Haskell is defined and then the corresponding UML profile is presented.
منابع مشابه
A Metamodel and UML Profile for Rule-extended OWL DL Ontologies – A Complete Reference
In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile for OWL DL. Based on this metamodel and profile, UML tools can be used for visual modeling of rule-extended ontologies.
متن کاملMetamodel-based UML Notations for Domain-specific Languages
We present a metamodel-based approach for specifying uml notations for domain-specific modeling languages. Traditionally, domain specific languages are either defined by uml profiles or using metamodels. We provide a generic integration of these two methods supporting arbitrary uml profiles and metamodels. Our approach provides a bidirectional mapping between the uml notation and the metamodel ...
متن کاملIssues in Mapping Metamodels in the Ontology Development Metamodel Using QVT
Although the request for proposal for the Ontology Development Metamodel called for a metamodel and UML profile supporting OWL, the working party has decided that there are a number of modeling languages used for ontology development so that several languages will be supported in the ODM [odm], namely RDF/RDFS/OWL, Simple Common Logic (SCL), Topic Maps and the Entity-Relationship model, as well...
متن کاملA Uml Profile for Goal-oriented Modelling
A UML PROFILE FOR GOALORIENTED MODELLING The Unified Modeling Language (UML) is a standard for visual modelling. We can design abstract models by using its elements. The semantic scope of the UML elements is very broad, and they are not fully addressing the needs of some modelling domains, including the modelling of goals and non-functional requirements (NFR). To address this problem, UML allow...
متن کاملA Standards-based UML-Profile for Message-Based Information Dissemination
Integration of information systems using message queues and eXtensible Markup Language (XML)-documents is attractive, because it is comparatively simple to establish and reliable in operation. Combined with transformation it has been called the ’preferred EAI engine’. Such integration systems are however difficult to design and manage, because requirements are hard to trace over a large number ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011